- 2 402 202 книги
- Поиск
Correct System Design: Recent Insights and Advances (Lecture Notes in Computer Science)
Автор: Ernst-Rudiger Olderog, Автор: Bernhard SteffenКатегория: Компьютеры
Размер книги: 6.13 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Компьютеры
Размер книги: 13.00 Mb
Correct system design: recent insights and advances (Lecture Notes in Computer Science 1710)
Автор: Bernhard Steffen, Автор: E.-R. Olderog
Размер книги: 5.53 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 8.98 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 9.82 Mb
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Автор: Tiziana Margaria, Автор: Bernhard Steffen
Размер книги: 13.99 Mb
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, Isola 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings
Автор: Margaria, Автор: Tiziana; Steffen, Автор: BernhardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 8.96 Mb
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004
Автор: Bernhard Steffen, Автор: Giorgio LeviКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.37 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 1 conf., TACAS '95
Автор: Ed Brinksma, Автор: W. Rance Cleaveland, Автор: Kim G. Larsen, Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.30 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 4 conf., TACAS '98
Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.04 Mb
Tools and Algorithms for the Construction and Analysis of Systems, 2 conf., TACAS '96
Автор: Tiziana Margaria, Автор: Bernhard SteffenКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.60 Mb
Correct System Design
Автор: Ernst-Rüdiger Olderog, Автор: Bernhard SteffenКатегория: CsLn_
Размер книги: 5.79 Mb
Correct System Design
Автор: Ernst-Rüdiger Olderog, Автор: Bernhard SteffenКатегория: CsLn_
Размер книги: 1.59 Mb
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Автор: Tiziana Margaria, Автор: Bernhard Steffen, Автор: Roland Rückert, Автор: Joachim Posegga
Размер книги: 6.59 Mb
Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers
Автор: Tiziana Margaria, Автор: Bernhard Steffen, Автор: Roland Rückert, Автор: Joachim Posegga
Размер книги: 7.31 Mb
